Revisions of Theophanes Chrysobalantes De Curatione

Revisions of Theophanes Chrysobalantes De Curatione

Background Theophanes Chrysobalantes' De curatione is a little known but highly relevant therapeutic manual dating to the tenth century AD. The text has come down to us in  an unusually large number of manuscripts, most of which transmit a mainstream version of the text. Methods In the present article, three versions deriving from the mainstream text are being examined. For this, these versions...

Revisions ’ Neuromusculoskeletal

Table of Revisions

Project co-funded by the European Commission within the Seventh Framework Programme (2010-2012) Dissemination Level PU Public PP Restricted to other programme participants (including the Commission Services) RE Restricted to a group specified by the consortium (including the Commission Services) CO Confidential, only for members of the consortium (including the Commission Services) This documen...

Table of Revisions

ion Refinement Abstraction refinement [7] is a process, in which a model is first grossly abstracted, to form a much smaller (and easier to verify) model, and then iteratively refined. At each iteration, a model checker checks the current abstract model. If it can come up with a definite answer (either pass or fail), the process terminates. Otherwise, a refined model is built for the next itera...

Record of Issue/revisions